Fix bug #9955 with mouse-highlight that starts at beginning of window.
authorEli Zaretskii <eliz@gnu.org>
Fri, 4 Nov 2011 20:01:06 +0000 (22:01 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 4 Nov 2011 20:01:06 +0000 (22:01 +0200)
commita79dc0af90ee79381b84330b90eba2cf33fd9544
tree946aeda13a53d3e7b7814733173b3fc689ac0ea8
parentbd478308109e49f2617d575fd992d335a924fa3a
Fix bug #9955 with mouse-highlight that starts at beginning of window.

 src/xdisp.c (note_mouse_highlight): If either of
 previous/next-single-property-change returns nil, treat that as
 the beginning or the end of the buffer.
src/ChangeLog
src/xdisp.c